Checking NestedProjectRoots (customised/NestedProjectRoots.agda).
 Checking Imports.A (customised/Imports/A.agda).
customised/NestedProjectRoots.agda:3,1-17
The file customised/Imports/A.agda
can be accessed via several project roots. Both A and Imports.A
point to this file.
when scope checking the declaration
  import Imports.A
Checking A (customised/Imports/A.agda).
Checking NestedProjectRoots (customised/NestedProjectRoots.agda).
customised/NestedProjectRoots.agda:3,1-17
The file customised/Imports/A.agda
can be accessed via several project roots. Both A and Imports.A
point to this file.
when scope checking the declaration
  import Imports.A
